Optimality Theory through Default Logic
نویسندگان
چکیده
Optimality Theory is an approach to linguistic problems which is based on rules with exceptions, resorting to a ranking among rules to resolve conflicts arising from competing rules. In such a way, dealing with linguistic problems amounts to applying rules with exceptions: That is reasoning. A related issue is then about a formalization of the logic at work. An immediate candidate is Default Logic which is dedicated to reasoning from rules with exceptions. Moreover, there are versions of default logic with priorities. We show that Default Logic is well-suited as a specification language capturing Optimality Theory and suggests that implementations of default logic can be applied to run experiments with grammatical interaction in the sense of Optimality Theory and beyond.
منابع مشابه
A new algorithm to automate inductive learning of default theories
In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to correspond to the problem of learning default theories. Default logic is what humans employ in commonsense reasoning. Therefore, learned default theories are better understood by humans. ...
متن کاملExpressing Default Logic Variants in Default Logic
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have subsequently been proposed to give systems with properties differing from the original. In this paper, we examine the relationship between default logic and its major variants. We accomplish this by translating a default theory under a variant inte...
متن کاملDomain Theory Meets Default Logic 1
We present a development of the theory of default information structures, combining ideas from domain theory with ideas from non-monotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as non-deterministic algorithms for generating preferred partial m...
متن کاملReasoned Assumptions and Pareto Optimality
Default and non-monotonic inference rule* are not really epistemological statements, but are instead desires or preferences of the agent about the makeup of Its own mental state (cpistemic or otherwise). The fundamental relation in non-monotonic logic is not so mum self-knowledge as self-choice or self-determination, and the fundamental justification of the interpretations and structures involv...
متن کاملRepresenting Defaults in the Framework of Possibility Theory
In this paper we present two results on combining approximate and default reasoning First we investigate the relationship between default logic and the formalism introduced by Yager to represent default knowledge in the framework of possibility theory Second we describe a natural representation of default priorities in Yager s formalism INDEX TERMS Default logic possibility theory fuzzy set pri...
متن کامل